The immortality of the Qur'an`s inviolability has a narrative proof of the book and tradition and rational evidence. The narrations from the Qur'an are verse 9 of Surah Al-Hijr and verse 42 of Surah Fussilat in which God has announced the memorization of the Qur'an and the non-entry of falsehood in it, respectively. The present study examines the meaning of these verses on the inviolability of the Qur'an, focusing on the concept of the word jinn. According to the lexical study of this word, the beliefs of ignorance about it, the analysis of the Prophet's audience's intention to use it and the Qur'anic literature around it, proved that from the point of view of the original audience of the Qur'an, the jinn is not crazy, but someone who has been in contact with jinns. They learn priesthood, poetry and magic. Therefore, the authority that divided the Qur'an into parts, considered it a part of the priesthood and a part of the poem, and called the Prophet a sorcerer because of presenting other miracles besides the Qur'an, slandered him and did not reveal the origin of revelation. God, but the jinn knew. Therefore, the Qur'an removes this accusation from the Prophet in the two verses under discussion and the context before and after it, introduces God as both the source of revelation and its memorizer of the devils, and considers the Qur'an itself to be dear and forbidden. And the entry of the jinn into it has negated. Therefore, the Corresponding signification of the verses on the generality and immortality of the Qur'an's inviolability and the understanding of this meaning were rejected for the original audience, although it is possible that there are other indications in these two noble verses on the inviolability of the immortality.

Usuli experts' theory of conceptual Implication, on one hand, and the linguistic philosophers' theory of semantical Implication, on the other, can be the subject of a comparative study. Theory of conceptual Implication is the basis of the semantic approach. Conceptual Implication is the transfer of mind from a term to its meaning regardless of the speaker's intention. Judicial Implication is the transfer of mind from a term to the speaker's intended meaning. Semantics is closer to the theory of conceptual Implication because semantics is the study of meaning independent of the speaker or author’s intention. Pragmatics is closer to theory of judicial Implication because pragmatics is the study of meaning based on the speaker or author’s intention. Of all theories of semantical signification, the use theory of meaning is closer to the theory of conceptual Implication because according to both theories, language and the use of terms are socially rule-governed activities. What's more, both theories claim that phrases and terms acquire their meaning through their multiple usages and functions in society.

Anthrons are important precursors for a variety of antitumor and antibiotic drugs. This work is towards the synthesis of two bisanthrons 6 and l0.These bisanthrons are synthesised via the Corresponding bislactones 4 and 8 and the dicarboxylic acids 5 and 9 which respectively are formed through the cleavage of the above bislactones. We have taken advantage of the "biscyclization" method in the simultaneousa cyclization of the above dicarboxylic acids for the synthesis of Corresponding bisanthrons.  

In Corresponding theory of truth, "Fa" is true just if it corresponds to Fa. Using "I-conversion" rule and "I-substitution" rule against the Corresponding theory, the slingshot argument proves that "Fa" is true just if it corresponds to Gb. So, every fact will be identical to every other fact and all facts can be reduced to one (Great Fact). I will show that if we interpret slingshot argument intentionally, those two rules are not proper; and if we interpret it extensionally, the argument is valid, but it will have such an interpretation with which no opposition to Corresponding theory will occur.

Properties of the hybrid of block-pulse functions and Lagrange polynomials based on the Legendre-Gauss-type points are investigated and utilized to define the composite interpolation operator as an extension of the well-known Legendre interpolation operator. The uniqueness and interpolating properties are discussed and the Corresponding differentiation matrix is also introduced. The applicability and effectiveness of the method are illustrated by two numerical experiments.

The fact that Quran has different layers of exterior and interior meaning is a basic fact in interpretation of Quran. But that from interior meaning of Quran what should be meant is an important step in semantic of the Quran. There are several questions which are of importance here: what is the real meaning of Batin of Quran and to ascertain that whether Batin is the mere Implication of the word of it is a type of non literal meaning i.e. a conceptual one. Furthermore there is the question that whether the Batin is what the creator of the text have intended in the past (when he created the text) or it is a kind of attitude which the one who read the text of the Quran will catch it. There is also the question that whether the Batin can be understood by all those who read Quran. In the present essay we will discuss these questions.

Iran Gasoline imports between years 2012 to 2016 shows an increasing trend after 5 years of decrease. Amount of refinary products was not remarkably increased during the period. Besides, implementation of "Subsidies Reform Act" was stopeed at 2012 and 2013. After that, in spring 2015, rationing of gasoline was terminated after 8 years. Also, increasing rate of CNG substitution was stopped in light-transportation section. These factors together led to a remarkable increase in gasoline imports between 2012 to 2016. Knowing that fuel is a kind of essential goods and remembering that US imposed oil-products sanctions on Iran in summer 2010, it is necessary to control the rise of gasoline imports. As the first step, the amount of domestic production of gasoline should be increased, with the priority of "Persian-Gulf Star" refinary. On the other hand, fuel-conservation policies to control gasolin demand are to be pursued. Besides, CNG share in fuel consumption decomposition should be enhanced. At last, improvement of public transportation can help reducing gasoline demand leading to a reduction in gasoline imports.

In this paper, we study a class of representations of arithmetic functions, and Corresponding operator-theoretic and free probabilistic properties. We associate given arithmetic functions f to certain matrices an(f).